Willem Paul de Roever: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Inductive Proof Outlines for Exceptions in Multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 314 KB

english, 2006

2

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem -Paul de Roever, Jifeng He

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 1.41 MB

english, 1997

3

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4111 || Model-Based Security Engineering with UML: Introducing Security Aspects

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2006

Language:

english

File:

PDF, 606 KB

english, 2006

4

[Lecture Notes in Computer Science] Compositionality: The Significant Difference Volume 1536 || Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

de Roever, Willem-Paul, Langmaack, Hans, Pnueli, Amir

Year:

1998

Language:

english

File:

PDF, 263 KB

english, 1998

5

Compositional Operational Semantics of a UML-Kernel-Model Language

Harald Fecher, Marcel Kyas, Willem-Paul de Roever, Frank S. de Boer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 331 KB

english, 2006

6

An assertion-based proof system for multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 448 KB

english, 2005

7

Towards a practitioners' approach to Abadi and Lamport's method

Kai Engelhardt, Willem -Paul de Roever

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

8

Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941–November 2, 2009)

Willem Paul de Roever

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

9

PREFACE

Willem-Paul de Roever

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 47 KB

english, 2000

10

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || TulaFale: A Security Tool for Web Services

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 467 KB

english, 2004

11

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Tools for Generating and Analyzing Attack Graphs

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 1.27 MB

english, 2004

12

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 4.67 MB

english, 2003

13

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Model-Based Testing of Object-Oriented Systems

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 323 KB

english, 2003

14

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 ||

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 5.46 MB

english, 2007

15

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 4709 || Links: Web Programming Without Tiers

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2007

Language:

english

File:

PDF, 857 KB

english, 2007

16

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Reactive Animation

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 527 KB

english, 2003

17

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 3188 || Consistency Management within Model-Based Object-Oriented Development of Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2004

Language:

english

File:

PDF, 453 KB

english, 2004

18

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 245 KB

english, 2003

19

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Finding Implicit Contracts in .NET Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 498 KB

english, 2003

20

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Composition for Component-Based Modeling

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 296 KB

english, 2003

21

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Live and Let Die: LSC-Based Verification of UML-Models

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 523 KB

english, 2003

22

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 392 KB

english, 2003

23

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || A Calculus for Modeling Software Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 273 KB

english, 2003

24

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Specification and Inheritance in CSP-OZ

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 242 KB

english, 2003

25

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Abstract Behavior Types: A Foundation Model for Components and Their Composition

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 413 KB

english, 2003

26

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 435 KB

english, 2003

27

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Java Program Verification Challenges

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 217 KB

english, 2003

28

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || A Tool-Supported Proof System for Multithreaded Java

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 446 KB

english, 2003

29

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || ToolBus: The Next Generation

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 550 KB

english, 2003

30

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Equivalent Semantic Models for a Distributed Dataspace Architecture

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 259 KB

english, 2003

31

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Design with Asynchronously Communicating Components

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

32

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || From Co-algebraic Specifications to Implementation: The Mihda Toolkit

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

Language:

english

File:

PDF, 429 KB

english, 2003

33

[Lecture Notes in Computer Science] Formal Methods for Components and Objects Volume 2852 || Concurrent Object-Oriented Programs: From Specification to Code

de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul

Year:

2003

File:

PDF, 310 KB

2003